COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∂26-May-89  1153	VAL 	VAL's papers   
C00007 00003	Other val files
C00008 ENDMK
C⊗;
∂26-May-89  1153	VAL 	VAL's papers   

``Computing circumscription'', in: {\sl Proc.~IJCAI-85}, 1985.
CC.TEX[ARC,VAL]

``Closed-world data bases and circumscription'', {\sl Artificial Intelligence},
{\bf 27}, 1985.
CWA.TEX[ARC,VAL]

``On the satisfiability of circumscription'', {\sl Artificial Intelligence},
{\bf 28}, 1986.
CONSIS.TEX[ARC,VAL]

``On the declarative semantics of logic programs with negation'', in:
{\sl Workshop on Foundations of Logic Programming and Deductive Databases},
Washington, D.C., 1986.
LP.TEX[ARC,VAL]

``Pointwise circumscription: preliminary report'', in: {\sl Proc.~AAAI-86}, 1986.
PTC0.TEX[ARC,VAL]

``Pointwise circumscription'', in: {\sl Readings in Nonmonotonic Reasoning},
Morgan Kaufmann, Los Atos, California, 1987.
PTC.TEX[ARC,VAL]

``On the semantics of STRIPS'', in: {\sl Reasoning about Actions and Plans},
Morgan Kaufmann, Los Atos, California, 1987.
STRIPS.TEX[ARC,VAL]

``Formal theories of action: preliminary report'', in: {\sl Proc.~IJCAI-87}, 1987.
FTA0.TEX[ARC,VAL]

``Formal theories of action'', in: {\sl The Frame Problem in Artificial
Intelligence, Proceedings of the 1987 Workshop}, 1987.
FTA.TEX[ARC,VAL]

``Circumscriptive theories: a logic-based framework for commonsense knowledge
(preliminary report)'', in: {\sl Proc.~AAAI-87}, 1987.
CT0.TEX[ARC,VAL]

``Circumscriptive theories: a logic-based framework for commonsense knowledge)'',
 {\sl Journal of Philosophical Logic}, {\bf 17}, 1988.
CT.TEX[ARC,VAL]

``The stable model semantics for logic programming'', in: {\sl Logic
Programming: Proc.~5th Int'l.~Conf.~and Symp.}, 1988 (with M. Gelfond).
STABLE.TEX[ARC,VAL]

``Compiling circumscriptive theories into logic programs'', in: {\sl Non-Monotonic
Reasoning} (Lecture Notes in Artificial Intelligence, {\bf 346}), Springer-Verlag,
1989 (with M. Gelfond).
COMPIL.TEX[ARC,VAL]

``Benchmark problems for formal nonmonotonic reasoning'', in: {\sl Non-Monotonic
Reasoning} (Lecture Notes in Artificial Intelligence, {\bf 346}), Springer-Verlag,
1989.
BENCH.TEX[ARC,VAL]

``Miracles in formal theories of action'', {\sl Artificial Intelligence},
{\bf 38}, 1989 (with A. Rabinov).
MIR.TEX[ARC,VAL] (LaTeX)

``Between circumscription and autoepistemic logic'', in: {\sl Proceedings
of the First International Conference on Principles of Knowledge Representation
and Reasoning}, Morgan Kaufmann, Los Altos, California, 1989.
INTROS.TEX[ARC,VAL] (LaTeX)

``Things that change by themselves'', in: {\sl Proc.~IJCAI-89}, 1989 (to appear,
with A. Rabinov).
CHANGE.TEX[ARC,VAL] (LaTeX)

``Logical foundations of deductive databases'', in: {\sl Proc.~IFIP Congress'89},
1989 (to appear).
LFDD.TEX[ARC,VAL] (LaTeX)

The Mathematics of Nonmonotonic Reasoning, June 4
lics.tex[1,val]
Other val files

ster1[lp,val]	Prolog program for sterile container, 1989 May
ster2[lp,val]	Prolog program for sterile container, 1989 May
topics.tex[1,val]	Open problems on the border of logic and AI
yaf.tex[1,val]	Yet another formalization of loading and shooting
contex.2[1,val] notes on context
par[1,val] A paradox related to the commonsense law of inertia
files[arc,val]